61. Innovative Computing and Information
پدیدآورنده : edited by Minli Dai.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Computer software.,Information storage and retrieval systems.,Information storage and retrieval systems.,Software engineering.
62. Integrated Uncertainty in Knowledge Modelling and Decision Making
پدیدآورنده : edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.,Data mining.,Database management.,Information storage and retrieval systems.
63. Intelligent Control Systems :
پدیدآورنده : by Katalin M. Hangos, Rozália Lakner, Miklós Gerzson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
TJ217
.
5
B953
2004
64. Intelligent Data Engineering and Automated Learning - IDEAL 2011
پدیدآورنده : edited by Hujun Yin, Wenjia Wang, Victor Rayward-Smith.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.,Database management.,Information storage and retrieval systems.,Information storage and retrieval systems.
65. Intelligent Multimedia Multi-Agent Systems
پدیدآورنده : by Rajiv Khosla, Ishwar K. Sethi, Ernesto Damiani.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Multimedia systems.,Software engineering.
66. Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung
پدیدآورنده : von Rudi Studer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
V667
1987
67. Language, Games, and Evolution
پدیدآورنده : edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Computer science.,Computer software.
68. Learning Theory and Kernel Machines 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003. Proceedings
پدیدآورنده : edited by Bernhard Schölkopf, Manfred K. Warmuth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Computer software
رده :
Q325
.
5
E358
2003
69. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
70. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (طهران)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
71. Machine learning :
پدیدآورنده : Y. Kodratoff (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
72. Managing software crisis :
پدیدآورنده : by Sergey V. Zykov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Agile software development.,Artificial intelligence.,Computational intelligence.,COMPUTER SCIENCE-- General.,Engineering.,Software engineering.
رده :
QA76
.
76
.
D47
73. Methods and procedures for the verification and validation of artificial neural networks
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Astronautics ; Data processing. ; Neural networks (Computer science) ; Artificial intelligence. ; Computer software ; Verification. ; Computer software ; Validation. ;
74. Methods and procedures for the verification and validation of artificial neural networks
پدیدآورنده : / edited by Brian J. Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Astronautics- Data processing,Neural networks (Computer science),Artificial intelligence,Computer software- Verification,Computer software- Validation
رده :
TL1078
.
M475
2006
75. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
76. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
77. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
پدیدآورنده : edited by Hamido Fujita and Mohamed Mejri
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
78. Objects for Concurrent Constraint Programming
پدیدآورنده : by Martin Henz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
79. On the Move to Meaningful Internet Systems. OTM 2018 Conferences
پدیدآورنده : edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Information storage and retrieva,Software engineering
رده :
QA76
.
76
.
A65
